Labeling techniques and typed fixed-point operators